Resolution theorem proving
[计] 归结定理证明
🧩 词语组成解析
[计] 验证, 证明\\n[医] 药力试验(顺势疗法的名词)
🗣️ 情景例句
Yes. It's a lovely day and good enough to travel.
是的，天气很好，旅游是再好不过了。
That which is evil is soon learnt.
恶行易学。
Nice talking to you.
很高兴与你聊天。